 |
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1990 Volume number : 16 Issue: 05 |
Computational Improvements In Prolog Applications By Predicate Variable Pointers
(Article)
Subject:
Compilers
,
Computational Complexity
,
Data Structures
,
Prolog
Author:
Gerald M.
Karam
page:
490
-
497
Data Dependency Graphs For Ada Programs
(Article)
Subject:
Ada
,
Data Dependence
,
Programming Languages
Author:
Louise E.
Moser
page:
498
-
509
Software Size Estimation Of Object-Oriented Systems
(Article)
Subject:
Functional Specification
,
Object-Oriented Design
,
Software Size
Author:
J.M.G.
Laranjeira
page:
510
-
522
A Protocol Modeling And Verification Approach Based On A Specification Language And Petri Nets
(Article)
Subject:
Petri Nets
,
Protocols
,
Specification
,
Verification
Author:
T.
Suzuki
Sol M.
Shatz
Tadao
Murata
page:
523
-
536
On Criteria For Module Interfaces
(Article)
Subject:
Interface
,
Interface Criteria
,
Interface Stiffness
,
Object-Oriented Design
Author:
Dale E
Hoffman
page:
537
-
542
A Framework For The Automated Drawing Of Data Structure Diagrams
(Article)
Subject:
Data Structures
,
Aesthetics
,
Visual Description Of Embassy Of Qatar
Author:
Chen
Ding
Prabhaker
Mateti
page:
543
-
557
|
|
| | |
